type Y* = object
